Implementing a Logical Inference System for Japanese Comparatives
arxiv.org·2d
🌳Context free grammars
LLM-Deflate: Extracting LLMs into Datasets
scalarlm.com·2h·
Discuss: Hacker News
💻Local LLMs
Issue 490
haskellweekly.news·1d
🔗Functional Compilers
LLM-Powered Query Processing: From Natural Language to Tool Execution
dev.to·9h·
Discuss: DEV
🔗Constraint Handling
Cactus Language • Mechanics 1
inquiryintoinquiry.com·1d
📝Concrete Syntax
Latent trees
languagelog.ldc.upenn.edu·21h
🤖Grammar Induction
Isabelle rule musings
blueberrywren.dev·1d
🎯Proof Tactics
Critical AI
olivia.science·3h
🔲Cellular Automata
Building sub-100ms autocompletion for JetBrains IDEs
blog.sweep.dev·16h·
Discuss: Hacker News
🔨Compilers
The Landscape of Arabic Large Language Models
cacm.acm.org·19h
🤖Grammar Induction
HTML, the Programming Language
html-lang.org·16h·
Discuss: Hacker News
🔗Concatenative Programming
Deploying a PICO Extractor in Five Steps
towardsdatascience.com·17h
🌀Brotli Internals
Automating Modelica Module Generation Using Large Language Models: A Case Study on Building Control Description Language
arxiv.org·1d
🧩WASM Components
Python Syntax: The Ultimate Beginner's Guide with Examples & Best Practices
dev.to·23h·
Discuss: DEV
📝Concrete Syntax
Generic functional parallel algorithms: scan and FFT (2017)
dl.acm.org·1d·
Discuss: Hacker News
🔗Functional Compilers
Building tenets: Intelligent context aggregation for AI pair programming
jddunn.github.io·1d·
Discuss: Hacker News
🌀Brotli Internals
Untangling the Impossible: Diagnosing Constraint Conflicts in Boolean Models
dev.to·2d·
Discuss: DEV
🧮Constraint SMT
Running a RAG powered language model on Android using mediapipe
darrylbayliss.net·22m·
Discuss: Hacker News
🎙️Whisper
ECMAScript 2025 Language Specification
262.ecma-international.org·22h·
Discuss: Hacker News
🎯Gradual Typing
Concurrent Linguistic Error Detection (CLED): a New Methodology for Error Detection in Large Language Models
arxiv.org·3d
🔍Z3 Parsing